$\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$($A$ List)$\rightarrow$$B$), $l$:$A$ List. mapcons($f$;$l$) $\in$ $B$ List